1acb7f371a665935cfe36949b37b5abed126c92e,workbench/source_gen/jetbrains/mps/ide/actions/Default_KeymapChanges.java,GoToBookmark_ShortcutChange_qjewi8_rd,getShortcutsFor,#Object#,129
Before Change
}
public List<Shortcut> getShortcutsFor(Object... objects) {
return ListSequence.fromListAndArray(new ArrayList<Shortcut>(), new KeyboardShortcut(KeyStroke.getKeyStroke("ctrl " + objects[0]), null));
}
}
After Change
}
public List<Shortcut> getShortcutsFor(Object... objects) {
List<Shortcut> _result = new ArrayList<Shortcut>();
_result.add(new KeyboardShortcut(KeyStroke.getKeyStroke("ctrl " + objects[0]), null));
return _result;
}
}